Nuprl Definition : es-when
0,22
postcript
pdf
x
when
e
== (state when
e
).
x
latex
clarification:
es-when(
es
;
x
;
e
) == es-state-when(
es
;
e
).
x
latex
Definitions
s
.
x
,
(state when
e
)
FDL editor aliases
es-when
origin